针对集装箱码头泊位确定条件下的单船岸桥(QC)分配和调度问题,建立了线性规划模型.模型以船舶在泊作业时间最短为目标,考虑多岸桥作业过程中的干扰等待时间与岸桥间的作业量均衡,并设计了嵌入解空间切割策略的改进蚁群优化(IACO)算法进行模型求解.实验结果表明:与可用岸桥全部投放使用的方法相比,所提模型与算法求得结果平均能够节省31.86%的岸桥资源;IACO算法与Lingo求得的结果相比,船舶在泊作业时间的平均偏差仅为5.23%,但CPU处理时间平均降低了78.7%,表明了所提模型与算法的可行性和有效性.

基本的随机抽样一致性(RANSAC)算法无法根据点云模型的噪声自适应地设定分割参数,并有效判断点云数据是否被合理分割。针对该问题,提出了一种自适应的基于点云模型的计算机辅助设计(CAD)模型重建方法。该方法采用RANSAC算法从点云数据中提取基本形状体素,使用直方图法分析点到相应形状体素表面的投影距离。对分割不合理的区域,按照该点云面片的高斯噪声设置新的分割参数,再次进行形状提取。经过一定轮数的迭代,该方法可以合理提取点云模型中的细小形状体素。然后通过校准形状体素的位置和方向、根据相邻形状体素之间的交线裁剪形状体素,实现CAD模型的重建。最后,以误差分布图和直方图分析了原始点云数据中点到CAD模型表面投影距离,有70.71%的点的投影距离不超过点云模型包围盒高度的1%。实验结果表明,以点云包围盒高度的1%为尺度向实验数据中加入噪声时,该方法仍能够通过自适应设置分割参数提取出合理的细小体素。

针对广域网(WAN)环境下虚拟机(VM)迁移存在的诸多问题提出一种迁移模型。该模型持续检测节点间链路状态，优化磁盘、内存和CPU状态及网络的迁移时序，并采用磁盘周期同步、单向网络隧道及虚拟机本地化等方法。实验表明：模型减少了虚拟机跨WAN迁移的数据量，缩短了网络重定向路径，在模拟实验中迁移的总时间及暂停时间接近于共享存储方式。

提出基于P2P结构的多虚拟机管理模型,并实现其原型系统。采用P2P结构组织宿主机节点,利用组播实现资源发现;提出虚拟机动态迁移算法,自主触发节点间虚拟机动态迁移;利用选举的根节点映射云计算用户请求至宿主机,实现节点上虚拟机的按需创建、删除及停止等操作。实验表明:该模型具有收敛时间短、带宽占用率低及高可用性的特点,能够实现云计算资源的动态负载均衡。

高速主干网的快速发展以及Web应用的急剧增长使得网络终端系统承受着越来越大的负载压力，为了提高Web服务器的处理能力，多种Web Server结构得到提出和实现。针对一种非对称多线程流水线服务器——Keta，研究并实现了Web服务器的资源总量控制机制和流水线体系结构的线程调配机制，实验结果表明上述机制使得Web服务器的稳定性和服务质量得到了有效的提高。

构件库的检索效率不仅包括对构件本身的检索效率,还包括构件查询者对构件的理解效率。而一般的构件库系统只是从描述性信息方面提供对构件的理解,却很少从实际复用方面提供对构件的理解。数据挖掘技术为解决上述问题提供了一条可行的途径,文中对如何利用决策树分类方法进行可复用构件的复用历史信息和用户反馈信息隐含知识的挖掘作一探讨。通过对数据挖掘技术的应用,使构件库的相关人员能够从其他复用者实际复用构件的角度来理解构件,从而为构件生产者改进构件、管理者管理构件、复用者理解和选取构件提供一定程度的辅助决策支持。最后,通过实验验证了这种方法的可行性与有效性。

运用行为子类型及扩充行为子类型的概念,通过对一个Java实例地剖析,讨论了在面向 对象的契约式程序设计中如何撰写契约,以保持面向对象的单个继承和多重继承的特性问题,并证明 了这一方法的有效性。最后探讨了动态环境下违反契约时的责任归咎,展望了契约思想在软件开发 中的运用前景。